to do for 1.10.1:

make an E problem -- an extended argument with missing premises -- involving Laetetia and Lucretia